structure Error :> ERROR = 
struct
  fun bug msg = raise (Fail (String.concat [msg, "\n"]))
  fun todo msg = raise (Fail (String.concat ["unimplemented: ", msg, "\n"]))
end